On the extension of surjective isometries whose domain is the unit sphere of a space of compact operators

We prove that every surjective isometry from the unit sphere of space K(H), all compact operators on an arbitrary complex Hilbert H, onto real Banach Y can be extended to a linear K(H) Y. This is probably first example infinite dimensional non-commutative C*-algebra containing no unitaries and satisfying Mazur-Ulam property. also C*-algebras weakly JB*-triples satisfy